T C C P
نویسندگان
چکیده
This article is an overview of the recent developments of a theory originally introduced by Leifer and Milner: given a formalism with a reduction semantics, a canonical labelled transition system is derived on which bisimilarity as well as other other equivalences are congruences, provided that the contexts of the formalism form the arrows of a category which has certain colimits. We shall also attempt to provide a context for these developments by offering a review of related work.
منابع مشابه
Amitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملCytokines Genes Polymorphisms in Iranian Patients with Pulmonary Tuberculosis
Background: Pulmonary tuberculosis (PTB) has recently become a major problem in developed countries especially in immune compromised HIV infected individuals. Cytokines, their genes and receptors have been implicated in the protective immunity, pathophysiology and development of tuberculosis. Material & Methods: In the present study the genotype frequencies of a number of polymorphic genes co...
متن کاملاثر تمرینات مقاومتی بر مقادیر پروتئین واکنشی C و سیستاتین C در دختران چاق
Background: Probably, obesity causing more secretion of cytokines, is associated with increasing inflammatory markers. Although, researches show that physical aerobic prevent the enhancement of inflammatory conditions and obesity. But, The efficacy of resistance training on these markers has not been fully understood. Objective: The purpose of this study was investigating the effect of resi...
متن کاملO-8: Some Variations of the TSSK2 Gene May be Associated with Impaired Spermatogenesis
Background: Tssk2, a member of the testis specific serine/threonine kinase (TSSK) family, is expressed predominantly in the testis and crucial for the formation and function of the sperm cells in mouse. Targeted deletion of Tssk1 and 2 in male chimeric mice caused infertility due to haploinsufficiency of the genes. Therefore it is reasonable to postulate that mutations in its human homologue TS...
متن کاملبررسی پلی‌مورفیسم‌های ژن NOS2A در بیماران مبتلا به آرتریت روماتوئید و مقایسه آن با افراد نرمال
Backhground & Aim: Several lines of evidence have indicated that NO might be important in the pathogenesis of RA. NO could be synthesized by an enzyme called inducible nitric oxide synthase (iNOS). iNOS is expressed in the synovium, cartilage and lymphomononuclear cells of synovial fluid and lymphocytes and monocytes of peripheral blood of RA patients. Several studies have shown that iNOS gen...
متن کاملاثر یک جلسه تمرین هوازی به دنبال مصرف مکمل ویتامین C بر پاسخ‌های ایمنی هورمونی منتخب
هدف از این پژوهش بررسی اثر یک جلسه تمرین هوازی به دنبال مصرف مکمل ویتامین C بر پاسخ‌های کورتیزول، لاکتات و نوتروفیل‌ها بود. بدین منظور 24 نفر از دانشجویان پسر دانشگاه آزاد اسلامی واحد علوم و تحقیقات فارس با میانگین سن 01/3± 73/21 سال، وزن 20/11 ±75/69 کیلو گرم و قد 30/6±88/176 سانتی متر به طور داوطلب در این تحقیق شرکت کردند. در ابتدا توان هوازی تمامی آزمودنی‌ها برآورد شد، سپس بر اساس توان هوازی...
متن کامل